h == flatten.compose(fmap(g) _ compose f)